Génération automatique de tests pour les systèmes du RGT
نویسنده
چکیده
Les spécifications formelles ne sont pas une fin en soi. Il faut plutôt les considérer comme l’étape initiale nécessaire pour effectuer sur la spécification d’un système et ses implémentations futures des activités telles-que la validation, la vérification, le test et déboguage, . . . Aprés avoir présenté le formalisme des comportements d’objets gérés défini dans le cadre de TIMS 1, cet article propose des ébauches de solutions pour la génération de suite de tests de spécifications de comportements d’objets gérés du RGT.
منابع مشابه
Une grammaire formelle du créole martiniquais pour la génération automatique
Nous présenterons dans cette communication les premiers travaux de modélisation informatique d’une grammaire de la langue créole martiniquaise, en nous inspirant des descriptions fonctionnelles de Damoiseau (1984) ainsi que du manuel de Pinalie & Bernabé (1999). Prenant appui sur des travaux antérieurs en génération de texte (Vaillant, 1997), nous utilisons un formalisme de grammaires d’unifica...
متن کاملUne approche combinée pour l'enrichissement d'ontologie à partir de textes et de données du LOD
Résumé. Cet article porte sur l’étiquetage automatique de documents décrivant des produits, avec des concepts très spécifiques traduisant des besoins précis d’utilisateurs. La particularité du contexte est qu’il se confronte à une triple difficulté : 1) les concepts utilisés pour l’étiquetage n’ont pas de réalisations terminologiques directes dans les documents, 2) leurs définitions formelles n...
متن کاملEvolution de schéma par classification automatique pour les entrepôts de données
Résumé. Les modèles et outils OLAP actuels gèrent les dimensions d’analyse d’un entrepôt de données de manière statique. Par conséquent, les axes d’analyse restent souvent figés malgré l’évolution des besoins et des données. Dans cet article, nous proposons une approche d’évolution de schéma basée sur une technique de classification automatique. Pour cela, nous cherchons le meilleur regroupemen...
متن کاملTensions entre théorie et pratique dans les systèmes de TAL. Étude historique et épistémologique (Tensions Between Theory and Practice in NLP Systems. Historic and Epistemological Study) [in French]
RÉSUMÉ Le TAL est tenu pour une activité pratique hétérogène susceptible d’associer dans un même système des méthodes et des théories linguistiques ou philosophiques parfois contradictoires. Dans mon exposé, je vais tâcher d’expliciter cette tension en m’appuyant sur une étude de tout premiers systèmes de TAL, modèles de traduction automatique et d’extraction d’information, mis au point dans le...
متن کاملLes Triggers Inter-langues pour la Traduction Automatique Statistique. (Inter-lingual Triggers for Statistical Machine Translation)
Dans cet article, nous décrivons le concept de triggers inter-langues. Nous expliquons ensuite comment nous avons utilisé de tels triggers pour construire automatiquement un dictionnaire bilingue. Nous avons par la suite évalué notre dictionnaire bilingue en le comparant à deux dictionnaires existants, le premier fourni par ELRA et le second en libre accès sur Internet. Cependant, afin de rendr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998